441. Semantics of type theory : correctness, Completeness and independence results
Author: Thomas Streicher
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
442. Semantics of type theory : correctness, completeness, and independence results
Author: / Thomas Streicher
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
Classification :
QA76
.
7
.
S82
1991
443. Software engineerin
Author: Pratap K. J. Mohapatra
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Electronic books., lcsh
Classification :
QA
،
76
.
6
،.
M64
,
2010eb
444. Software engineering
Author: Pratap K. J. Mohapatra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
M64
2010eb
445. Software engineering
Author: Pratap K. J. Mohapatra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
M64
2010eb
446. Software engineering: developments
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures
Classification :
QA
76
.
6
.
S7
447. Software language engineering :
Author: Anneke Kleppe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
Classification :
QA76
.
7
.
K576
2009
448. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Author: SLE 8002)8002 :Toulouse, France(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
Classification :
QA
76
.
7
.
S587
2008
449. Software programming languages
Author: prepared by the course team
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer software,، Programming languages )Electronic computers(
Classification :
QA
76
.
755
.
S66
1973
450. Software studies
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software. ; Computers and civilization ; Encyclopedias. ; Programming languages (Electronic computers) ; Lexicography. ; Technology and the arts. ;
451. Software studies
Author: / edited by Matthew Fuller
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software.,Computers and civilization--Encyclopedias,Programming languages (Electronic computers)--Lexicography,Technology and the arts.
Classification :
QA
,
76
.
754
,.
S64723
,
2008
452. Source Code Analytics With Roslyn and JavaScript Data Visualization /
Author: Sudipta Mukherjee ; foreword by Darius Blasband
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
Classification :
QA76
.
754
.
M85
2016
453. Spiele effektiv programmieren
Author: Uwe Kettermann, Andreas Rohde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
454. Static analysis :
Author: Antoine Miné, David Schmidt (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
6
.
I5733
2012eb
455. Static analysis :
Author: Kwangkeun Yi (ed.).
Library: Library of Faculty of World Studies University of Tehran (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Congresses.,Congresses.
Classification :
QA76
.
6
.
I5733
2006
456. Static analysis
Author: Jens Palsberg, Zhendong Su (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6
.
I5733
2009
457. Static analysis :
Author: Eran Yahav (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6
458. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings
Author: Baudouin Le Charlier )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
864
459. Static analysis : Second International Symposium, SAS'95 Glasgow, UK, September 25-27, 1995 : proceedings
Author: Alan Mycroft )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
983
460. Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings
Author: Radhia, Cousot, David A. Schmidt )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1145
